gdk: Add a getter for the hardware id of a GdkDeviceTool
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 4 Aug 2016 16:49:13 +0000 (18:49 +0200)
committerCarlos Garnacho <carlosg@gnome.org>
Tue, 23 Aug 2016 19:01:44 +0000 (21:01 +0200)
commit40f75e74be35605d1b77fc81e560b8f9e20e2311
treeace352ef2542ba397a38e8ece2bab0443e7827a9
parentd3c204c77460f0142901dafb11a2252e098a2c59
gdk: Add a getter for the hardware id of a GdkDeviceTool

Although scarcely used, this information may be useful to retrieve
from the windowing systems that offer this information.

https://bugzilla.gnome.org/show_bug.cgi?id=770026
gdk/gdkdevicetool.c
gdk/gdkdevicetool.h